Levy, Paul Blain: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Call-by-push-value: Decomposing call-by-value and call-by-name

Paul Blain Levy

Journal:

Higher-Order and Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 1022 KB

english, 2006

2

Infinite trace equivalence

Paul Blain Levy

Journal:

Annals of Pure and Applied Logic

Year:

2008

Language:

english

File:

PDF, 851 KB

english, 2008

3

Monads and Adjunctions for Global Exceptions

Paul Blain Levy

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 344 KB

english, 2006

4

Global State Considered Helpful

Paul Blain Levy

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 390 KB

english, 2008

5

Infinite Trace Equivalence

Paul Blain Levy

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 486 KB

english, 2006

6

Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity

Paul Blain Levy, Kidane Yemane Weldemariam

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 355 KB

english, 2009

7

Adjunction Models For Call-By-Push-Value With Stacks

Paul Blain Levy

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 268 KB

english, 2003

8

Infinitary Howe's Method

Paul Blain Levy

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 372 KB

english, 2006

9

Amb Breaks Well-Pointedness, Ground Amb Doesn't

Paul Blain Levy

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 381 KB

english, 2007

10

Combining algebraic effects with continuations

Martin Hyland, Paul Blain Levy, Gordon Plotkin, John Power

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 436 KB

english, 2007

11

From Applicative to Environmental Bisimulation

Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 277 KB

english, 2011

12

Call-By-Push-Value || Recursion and Infinitely Deep CBPV

Levy, Paul Blain

Year:

2003

Language:

english

File:

PDF, 2.00 MB

english, 2003

13

Call-By-Push-Value || Semantics In Element Style

Levy, Paul Blain

Year:

2003

Language:

english

File:

PDF, 3.02 MB

english, 2003

14

Call-By-Push-Value ||

Levy, Paul Blain

Year:

2003

Language:

english

File:

PDF, 25.65 MB

english, 2003

15

[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - Typed Normal Form Bisimulation for Parametric Polymorphism

Lassen, Soren B., Levy, Paul Blain

Year:

2008

Language:

english

File:

PDF, 306 KB

english, 2008

16

Characteristic formulae for fixed-point semantics: a general framework

ACETO, LUCA, INGOLFSDOTTIR, ANNA, LEVY, PAUL BLAIN, SACK, JOSHUA

Journal:

Mathematical Structures in Computer Science

Year:

2012

Language:

english

File:

PDF, 566 KB

english, 2012

17

[ACM Press the 17th ACM SIGPLAN international conference - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 - Functional programs that explain their work

Perera, Roly, Acar, Umut A., Cheney, James, Levy, Paul Blain

Year:

2012

Language:

english

File:

PDF, 518 KB

english, 2012

18

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Universal properties of impure programming languages

Staton, Sam, Levy, Paul Blain

Year:

2013

Language:

english

File:

PDF, 717 KB

english, 2013

19

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Transition systems over games

Levy, Paul Blain, Staton, Sam

Year:

2014

Language:

english

File:

PDF, 259 KB

english, 2014

20

Iteration and Labelled Iteration

Geron, Bram, Levy, Paul Blain

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 299 KB

english, 2016

21

[ACM Press the 44th ACM SIGPLAN Symposium - Paris, France (2017.01.15-2017.01.21)] Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 - Contextual isomorphisms

Levy, Paul Blain

Year:

2017

Language:

english

File:

PDF, 316 KB

english, 2017

22

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Effectful applicative bisimilarity: Monads, relators, and Howe's method

Lago, Ugo Dal, Gavazzo, Francesco, Levy, Paul Blain

Year:

2017

Language:

english

File:

PDF, 424 KB

english, 2017

23

Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies

Bowler, Nathan, Levy, Paul Blain, Plotkin, Gordon

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 316 KB

english, 2018

24

The Interaction Between Human Rotator Cuff Tendon and Subacromial Bursal Tissue in Co-Culture

Tamburini, Lisa M., Levy, Benjamin J., McCarthy, Mary Beth, Kriscenski, Danielle E., Cote, Mark P., Applonie, Ryan, Lebaschi, Amir, Sethi, Paul M., Blaine, Theodore A., Mazzocca, Augustus D.

Journal:

Journal of Shoulder and Elbow Surgery

Year:

2020

File:

PDF, 809 KB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски